源码公开，AI破解冷战档案！220个符号零修改，多项历史密码成果
源码公开，AI破解冷战档案！220个符号零修改，多项历史密码成果九位同志，去俄斯特拉发，待上一年。
来自主题: AI资讯
8455 点击 2026-10-14 11:54
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
九位同志，去俄斯特拉发，待上一年。
近日，清华大学电子工程系数据科学与智能实验室在 AI for Science 方向提出面向智能体符号回归（agentic symbolic regression）的运行时框架 SRHarness [1]，让 AI 更可靠地从观测数据中发现公式；同时构建机制发现基准 MechBench [2]，系统评测 AI 能否进一步揭示公式背后的机理。
啥，DeepSeek又开始给机器人公司投钱了？！
Z Potentials 独家获悉，上海半图科技（SemiGraph）已完成单轮超过千万美元融资，由联想创投等多家国内及海外一线资本领投，老股东IDG资本持续加码。本轮融资将主要用于人类行为模型研发、数据体系建设、团队扩充，以及AI原生3D互动场景的产品化落地。
程序员面试的时候，终于可以光明正大地打开 AI 了。
AI 兴盛以来，有许多路线争论，比如是垂类 AI vs 大而全，比如套壳vs模型，也比如 CLI（命令行） vs GUI（图形界面）、
两年前，我原本和于红约好录一期播客聊 AI 投资。那时，她是美团龙珠合伙人，正带领团队 All in AI。
一张 AI 生成的图，可以在美学、提示词对齐和人类偏好指标上拿到高分，画面里却藏着扭曲的肢体、相互穿透的物体，或不合理的物理现象。这些错误，并不总能从现有分数中看出来。
作者借助 GitHub 项目 REA 和 Codex GPT-6 Astra，在没有源代码的情况下迭代复刻 Microsoft Word，核心功能与界面高度还原，显示 AI 正显著降低成熟软件复刻门槛。
刚刚，前 OpenAI 联合创始人 Karpathy 画了一张扎心的 AI 漏斗： 全世界大约 80 亿人，能接触到实验室内部最强 AI 系统的，可能只有 5000 人。